#include "cast.h"
#include "pigasus-types.h"
#include "serialization.h"
#include "formatstring.h"
#include "loadcsv.h"
#include "getlength.h"
#include "system.h"
#include "common.h"
#include <iostream>
#include <string>
using namespace std;
void compile( List inputs ) {
System ( FormatString("gcc -c %s" , NewList( CastToString( inputs [ 0 ] )  ) + NewList( CastToString( inputs [ 0 ] )  )) ) ;
}
int main(int argc, char** argv) {string buffer;
ReadStringFromFile(string(argv[1]), buffer);
List *inputs = UnserializeList(buffer);
compile(*inputs);
delete inputs;
return 0;
}
